Programming languages - PDFSEARCH.IO - Document Search Engine

Programming languages
Results: 18154

#	Item
851	Skill Progression in Scratch Revisited J. Nathan Matias MIT Media Lab Cambridge, MA, 02139 Add to Reading List Source URL: unmad.in Language: English - Date: 2016-04-11 02:19:40 Visual programming languages MIT Media Lab Scratch Sampling
852	Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl Add to Reading List Source URL: models2014.webs.upv.es Language: English - Date: 2014-09-22 10:28:27 Compiler construction Formal languages Parsing Programming language implementation Parser generators Syntax Compiler LR parser Scannerless parsing XPL PLY Model-driven engineering
853	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning
854	Playing by Programming: Making Gameplay a Programming Activity David Weintrop Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-20 16:30:16 Visual programming languages Java platform Simulation software Game theory Constructionism Learning theory Educational game Game design Video game Programming game AgentSheets Gameplay
855	Written Examination, De ember 20th, 2011 Course noThe duration of the examination is 2 hours. Course Name: Fun tional programming Allowed aids: All written material The problem set onsists of 4 problems whi h ar Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2011-12-16 04:16:36 Higher-order functions Programming language comparisons Map Functional languages Procedural programming languages
856	A Constraint Solver for PHP Arrays Ivan Enderlin1 , Alain Giorgetti, Fabrice Bouquet March 22th, 2013 CSTVA, Luxembourg Add to Reading List Source URL: keynote.hoa-project.net Language: English - Date: 2013-12-16 18:13:31 Scripting languages PHP Data types Mathematical modeling Object-oriented programming languages Constraint programming AMPL Array data type Praspel Array data structure Associative array
857	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath
858	Microsoft Word - cheatpage.doc Add to Reading List Source URL: cpaint.sourceforge.net Language: English - Date: 2007-03-15 18:13:13 Technical communication Scripting languages ECMAScript for XML JavaScript Node Callback SOAP Application programming interface
859	../figures/Gadget_ft_spd.eps Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2011-09-05 06:20:08 Java platform Computing platforms Concurrent programming languages Parallel computing Cross-platform software MPICH Java performance Java Concurrent computing Thread OpenMP Scala
860	Tutorial: Optimizing JavaScript Code for V8 Florian Loitsch Google Inc. http://floitsch.blogspot.comoptimizing-for-v8-introduction.html Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-10 06:27:08 Scripting languages Web programming Cross-platform software Compiler construction JavaScript engines JavaScript Just-in-time compilation Program optimization V8

UPDATE